Logic and psychology overlap in judgment, inference and proof. The problems raised by this commonality are notoriously difficult, both from a historical and from a philosophical point of view. Sundholm has for a long time addressed these issues. His beautiful piece of work [A Century of Inference: 1837-1936] begins by summarizing the main difficulty in the usual provocative manner of the author: one can start, he says, by the act of knowledge to go to the object, as the Idealist does; (...) one can also start by the object to go to the act, in the Realist mood; never the two shall meet. He is himself inclined to accept the first perspective as the right one and he has eventually developed an original version of antirealism which starts, not from considerations about the publicity of meaning, in the manner of Dummett, but from an epistemic standpoint, trying to search in a non-Fregean tradition of analysis of judgement and cognate notions a way of founding constructivist semantics. The present paper ploughes the same field. We concentrate on the significance, for Sundholm’s program, of the perspective that has been opened by Twardowski in his important essay on acts and products (1912. (shrink)

The paper deals with the contributions of Jacques Herbrand to logic and philosophy in historical context.

Standard epistemic logic actually formalizes folk-psychology. The problem of logical omniscience shows that this logic is not adequate in a cognitivist setting. In order to describe realistic information-processing believers, we need both an ontology of particulars and a hyper-intensional taxonomy of representations. From this point of view, sub-structural logics, which do not overlook the syntaxic details of the processing of information, are an interesting alternative to possible worlds semantics.

Bolzano was the first to establish an explicit distinction between the deductive methods that allow us to recognise the certainty of a given truth and those that provide its objective ground. His conception of the relation between what we, in this paper, call "subjective consequence", i.e., the relation from epistemic reason to consequence and "objective consequence", i.e., grounding however allows for an interpretation according to which Bolzano advocates an "explicativist" conception of proof: proofs par excellence are those that reflect the (...) objective order of grounding. In this paper, we expose the problems involved by such a conception and argue in favour of a more rigorous demarcation between the ontological and the epistemological concern in the elaboration of a theory of demonstration. (shrink)

Bolzano fut le premier philosophe à établir une distinction explicite entre les procédés déductifs qui nous permettent de parvenir à la certitude d’une vérité et ceux qui fournissent son fondement objectif. La conception que Bolzano se fait du rapport entre ce que nous appelons ici, d’une part, « conséquence subjective », à savoir la relation de raison à conséquence épistémique et, d’autre part, la « conséquence objective », c’est-à-dire la fondation , suggère toutefois que Bolzano défendait une conception « explicativiste (...) » de la preuve : les preuves par excellence sont celles qui reflètent l’ordre de la fondation objective. Dans cet article nous faisons état des problèmes liés à une telle conception et argumentons en faveur d’une démarcation plus stricte entre la préoccupation ontologique et la préoccupation épistémologique dans l’élaboration d’une théorie de la preuve.Bolzano was the first to establish an explicit distinction between the deductive methods that allow us to recognise the certainty of a given truth and those that provide its objective ground. His conception of the relation between what we, in this paper, call “subjective consequence”, i.e. the relation from epistemic reason to consequence and “objective consequence”, i.e. grounding however suggests that Bolzano advocated an “explicativist” conception of proof : proofs par excellence are those that reflect the objective order of grounding. In this paper, we expose the problems involved by such a conception and argue in favour of a more rigorous demarcation between the ontological and the epistemological concern in the elaboration of a theory of proof. (shrink)

Les sciences cognitives poursuivent un objectif fort ancien, qui consiste, sommairement dit, à décrire et à expliquer les comportements intelligents. Elles appliquent à cet effet des principes méthodologiques moins traditionnels, dont l'adoption définit ce qu'il est convenu d'appeler le "tournant cognitif". Je me propose ici d'exposer brièvement ces principes, de les illustrer par des exemples appropriés et d’en discuter la signification philosophique. Pour l’essentiel, j’ai mis en avant un domaine qui me semble particulièrement pertinent pour les philosophes: l'analyse de la (...) catégorisation, c'est-à-dire du processus par lequel un ensemble d'entités (stimuli sonores ou visuels, objets concrets ou abstraits) en vient à être classifié en catégories séparées, qui peuvent être de type perceptif (phonèmes, couleurs) ou conceptuel (espèces naturelles, types d'événements, catégories esthétiques et morales). (shrink)

The paper argues that the digitalization enterprise revives, beyond the post-modern period of interpretive anarchism, the XIXth century ideal of philological probity.

Pascal Engel défend explicitement le purisme (ou l’intellectualisme). Selon la version générale de cette thèse, les facteurs qui déterminent si une croyance est justifiée, ou si elle est une connaissance, ne concernent que la vérité. Ils sont totalement indépendants des désirs ou des préférences du sujet, ainsi que des conséquences pratiques potentielles du fait de posséder ces croyances. Dans son article « Pragmatic Encroachment and Epistemic Value » (2009), P. Engel concède que des facteurs pratiques peuvent déterminer la quantité de (...) données (ou la justification) dont on a besoin pour savoir ou croire, tout en maintenant que cela n’affecte pas le purisme épistémique (dans sa version évidentialiste) sur les notions de donnée ou de degré de justification. Mais cela ne revient-il pas tout simplement à concéder l’impurisme épistémique au moins à propos de la connaissance ou de la justification simpliciter des croyances ? Dans cet article, j’examine en détails la position de P. Engel. Je montre que, correctement comprise, elle est intégralement puriste. En considérant le principe connaissance-action, je soulève néanmoins un dilemme pour son approche, jetant ainsi un doute sur le potentiel qu’elle aurait à fournir une réponse puriste satisfaisante à l’argument fondamental motivant l’impurisme épistémique. (shrink)

(English then french abstract) -/- This article, which can be read by non-psychoanalysts, intends to browse in four stages through the issue offered to our thinking : two (odd-numbered) stages analyzing the argument that provides its context, and two (even-numbered) of propositions presenting our views on what could be the content of the analytic discourse in the coming years. After this introduction, a first reading will point by point but informally review the argument of J.-P. Journet by showing that each (...) of its clauses may generate a “bifurcated” comment able to serve or go against the analytic discourse. Hence the interest of the “differential diagnosis” mentioned in our title, which makes glimpse the traps that the homonymy may set to this speech. Then, to prepare a second scan which sticks neither to the analytical doxa, nor to the even authoritative opinions of our tenors and seniors, it will be proposed two attempts at redefinitions (“apophatic” and “recursive”) of what psychoanalysis is, as well as methodological tools operating downstream from these redefinitions to thwart the obstacles of “external” and “internal” homonymy (starting from a syllogism which can make consensus).The third stage will precisely be made of our second scan of the issue, whose elements will be reviewed and analyzed more methodically :“external differential diagnosis” between the analytic discourse and psychology, philosophy, sociology, and modern science, and “internal differential diagnosis” on the entanglement between theoretical advances of psychoanalysts and the repeated survival of fantasmatic elements...Finally, a fourth part will present propositions and perspectives resulting from these analysis (principle of economy as to the source of psychoanalytical theorizations; dialogue with the other fields, but without compromising; specific relations with the discourse of science), all this leading to an invitation, beyond disputes, to renew the content of the analytic discourse on some points... -/- --------------------------------------------------------------------- -/- Cet article, qui se veut lisible aux non-analystes, se propose de parcourir en quatre temps la problématique offerte à notre réflexion : deux temps (de rang impair) d'analyse de l'argument qui en fournit le contexte, et deux (de rang pair) de propositions présentant nos vues sur ce que pourrait être la teneur du discours analytique dans les prochaines années. Après cette introduction, un premier parcours réexaminera point par point mais informellement l'argument de J.-P. Journet en montrant que chacune de ses propositions peut donner lieu à un commentaire “bifide” à même de servir ou de desservir le discours analytique. D'où l'intérêt du “diagnostic différentiel” évoqué dans notre titre, qui fait entrevoir les pièges que l'homonymie peut tendre à ce discours.Puis, pour préparer un second balayage qui ne s'en tienne ni à la doxa analytique, ni aux opinions même autorisées de nos ténors et seniors, il sera proposé deux tentatives de redéfinitions (“apophatique” et “récursive”) de ce qu'est l'analyse, ainsi que des outils méthodologiques fonctionnant en aval de ces redéfinitions pour déjouer les embûches de l'homonymie “externe” et “interne” (à partir d'un syllogisme pouvant faire consensus). Le troisième temps sera fait justement de ce second balayage de la problématique, dont les éléments seront reconsidérés et analysés plus méthodiquement : “diagnostic différentiel externe” entre le discours analytique et les discours psychologique, philosophique, sociologique et celui de la science moderne ; et “diagnostic différentiel interne” portant sur l'intrication entre avancées théoriques des analystes et survivance à répétition d'éléments fantasmatiques...Enfin une quatrième partie exposera propositions et perspectives résultant de ces analyses (principe d'économie quant à la source des théorisations analytiques ; dialogue avec les autres champs, mais sans compromissions ; relations spécifiques avec le discours de la science), l'ensemble débouchant sur une invitation, au delà des différends, à renouveler sur certains points la teneur du discours analytique... (shrink)

Subjectivité artificielle: -/- •pléonasme, s'il est exact que la subjectivité humaine ne peut être qu'artificielle, cf infra subjiciel© -/- •terme proposé par l'auteur de l'A.L.S.© (Jean-Jacques Pinto) pour faire pendant à celui d'Intelligence artificielle -/- Subjiciel© : terme forgé (et déposé comme marque à l'I.N.P.I. en 1984) par l'auteur de l'A.L.S. : Jacques Pinto) : -/- 1. programmesubjectif "naturel", mais il se pourrait bien que la subjectivité humaine ne puisse être qu'artificielle : il n'y a pas de "nature (...) humaine", seulement une "condition humaine". Les subjiciels sont au service de l'identification subjective comme les cogniciels sont au service de l'identification cognitive -/- 2. logiciel de subjectivité artificielle écrit par des humains pour simuler la subjectivité humaine "naturelle", et en particulier les subjilectes ou lectes subjectifs. À ce propos, signalons que dès 1983, inspiré par le titre du livre de William Skyvington, "Machina sapiens. Essai sur l'intelligence artificielle". Seuil, 1976, nous avons proposé l'expression Machina subjectiva pour désigner l'ensemble des projets tendant à construire cette subjectivité artificielle. (shrink)

Spinoza, le spinozisme et les fondements de la sécularisation est un ouvrage dédié à la mémoire d’Emmanuel Levinas, dont l’auteur a été l’élève durant plusieurs années. Il vise, à travers une analyse d’ordre philosophique, historique, épistémologique et théologique, à mettre au jour les conditions d’émergence interrelatées du spinozisme et de la sécularisation. Pour ce faire, il souligne, entre autres, l’importance des polémiques anti-maimonidiennes, des débats sur les attributs divins, la substance, l’infini, du marranisme et de la Kabbale sur la formation (...) du spinozisme, ainsi que son rapport à la pensée contemporaine. Il mène une recherche interdisciplinaire devant permettre d’éclairer l’origine des difficultés théoriques que ce système philosophique présente. (shrink)

It has been over two decades since Miranda Fricker labeled epistemic injustice, in which an agent is wronged in their capacity as a knower. The philosophical literature has proliferated with variants and related concepts. By considering cases in popular music, we argue that it is worth distinguishing a parallel phenomenon of art-interpretive injustice, in which an agent is wronged in their creative capacity as a possible artist. In section 1, we consider the prosecutorial use of rap lyrics in court as (...) a central case of this injustice. In section 2, we distinguish art-interpretive injustice from other categories already discussed in recent literature. In section 3, we discuss the relationship between genre discourse and identity prejudice. The case for recognizing the category of art-interpretive injustice is that it allows one to recognize a class of harms as being importantly related in ways that one would otherwise overlook. (shrink)

The question of Spinozist determinism and necessitarianism have been extensively studied by commentators, while the relationship between the notions of divine will and free will still requires elaborate studies. Our article seeks to contribute to such research, by clarifying the analyses of these questions by authors that Spinoza has confronted: Maimonides, as well as other Jewish philosophers, and Leibniz who criticized Spinozist determinism. We will study the consequences of these analyses on two examples that Spinoza gave to refute free will, (...) namely the dream and the situation of Buridan's ass. -/- Résumé: La question du déterminisme spinoziste et du nécessitarisme a été largement étu-diée par les commentateurs, tandis que la relation entre les notions de volonté divine et de libre arbitre nécessite encore des études plus élaborées. Notre article cherche à contribuer à ces recherches, en clarifiant les analyses de ces questions par des auteurs auxquels Spinoza s’est confronté : Maïmonide, ainsi que d’autres philosophes juifs, et Leibniz qui a lui-même critiqué le déterminisme spinoziste. Nous étudierons les conséquences de ces analyses sur deux exemples que Spinoza a donnés pour réfuter le libre arbitre, à savoir le rêve et la situa-tion de l’âne de Buridan. (shrink)

Pekakak adalah salah satu tokoh yang memiliki pengetahuan mendalam dan perencanaan yang cermat. Saat fajar menyingsing, ia terlihat bertengger di atas pohon. Dengan kemampuan sempurna untuk mengontrol kecepatan penerbangan miliknya, seperti kapan harus memperlambat atau mempercepat, dia dapat dengan mudah menghitung cara optimal untuk menangkap ikan.

This article aims to read feminist new materialisms (Barad), together with ‘postulated’ linguistic or cultural primacy of Queer Theory (Butler), to show how both are engaged in similar critical-ethical endeavours. The central argument is that the criticism of Barad and new materialisms misses Butler’s materialistic insights due to a narrow interpretation of Butler's alleged social-constructivist position. There is, therefore, a specific focus on where they both make similar ethical appeals. Moreover, the article relies on Adorno's negative dialectic to highlight an (...) interpretation of Barad and Butler as being part of the same dialectical movement, in which materialism and idealism fluctuate in their mutual criticisms, thus continuing the procession towards 'new knowledge' and emancipation, or freedom, through their motions back and forth. (shrink)

In this essay Derrida reflects, for the first time at length, on secularization as a historical process. Whereas his earlier writings on religion focus on Jewish and Christian authors who blur the boundaries of religious belonging, this essay directly questions the categories of religion and secularization. Against this background, Derrida revisits the work of Kant, Voltaire, Nietzsche, and Heidegger, and he reflects on his own engagement with messianism, negative theology, and the khôra.

It is widely held that assertions are partially governed by an epistemic norm. But what is the epistemic condition set out in the norm? Is it knowledge, truth, belief, or something else? In this paper, I defend a view similar to that of Stanley (2008), according to which the relevant epistemic condition is epistemic certainty, where epistemic certainty (but not knowledge) is context-sensitive. I start by distinguishing epistemic certainty, subjective certainty, and knowledge. Then, I explain why it's much more plausible (...) to think that "certain", rather than "know", is context-sensitive. After that, I respond to an important worry raised by Pritchard, according to which the proposed view is too strong to accommodate our current practice of assertion. I then show that the main linguistic and conversational data advanced in the recent literature in favour of the knowledge condition are best explained by the certainty view. Finally, I offer two principled considerations: the certainty view is the only one compatible with three independently plausible claims and it fits very well with the common thought that knowledge does not entail certainty. (shrink)

In this paper, I explore and defend the idea that musical works are historical individuals. Guy Rohrbaugh (2003) proposes this for works of art in general. Julian Dodd (2007) objects that the whole idea is outré metaphysics, that it is too far beyond the pale to be taken seriously. Their disagreement could be seen as a skirmish in the broader war between revisionists and reactionaries, a conflict about which of metaphysics and art should trump the other when there is a (...) conflict. That dispute is a matter of philosophical methodology as much as it is a dispute about art. I argue that the ontology of works as individuals need not be dunked in that morass. My primary strategy is to show, contra Dodd's accusation, that historical individuals are familiar parts of the world. Although the ontological details are open to debate, it is the standard opinion of biologists is that biological species are historical individuals. So there is no conflict here between fidelity to art and respectable metaphysics. What suits species will fit musical work as well. (shrink)

A certain number of cases suggest that our willingness to ascribe “knowledge” can be influenced by practical factors. For revisionary proposals, they indicate that the truth‐values of “knowledge” ascriptions vary with practical factors. For conservative proposals, on the contrary, nothing surprising is happening. Standard pragmatic approaches appeal to pragmatic implicatures and psychological approaches to the idea that belief formation is influenced by practical factors. Conservative proposals have not yet offered a fully satisfactory explanation, though. In this article, I introduce and (...) defend a third conservative proposal which I call “Refined Invariantism”. The two main claims of this proposal are that (1) we should distinguish between high stakes cases in which the subject does not believe (that he knows) the target proposition and those in which he believes (that he knows) the target proposition and that (2) we should adopt a psychological treatment for the first kind of case and a pragmatic treatment based on the epistemic standards for appropriate assertion and action for the second kind of case. I argue that this new combined approach avoids the main pitfalls of its two conservative rivals and that it gives new life to the generality objection levelled against revisionary views. (shrink)

The Upanishads reveal that in the beginning, nothing existed: “This was but non-existence in the beginning. That became existence. That became ready to be manifest”. (Chandogya Upanishad 3.15.1) The creation began from this state of non-existence or nonduality, a state comparable to (0). One can add any number of zeros to (0), but there will be nothing except a big (0) because (0) is a neutral number. If we take (0) as Nirguna Brahman (God without any form and attributes), then (...) from where and how did the universe come into existence? -/- The neutral power (0) cannot produce anything without having an element of duality in it. Although Nirguna Brahman is neutral, it has a positive, negative, and neutral pole, constituting its Prakriti or nature. Prakriti has three latent Gunas (modes or qualities): Satva, Rajas, and Tamas. They are related to Gyana Shakti (the power of knowledge) Sankalpa Shakti (the power of ideation), and Kriya Shakti (the power of action). Science says that Atom is the basic element from which the universe evolved. The Atom has three nuclei- electron, pluton, and neutron. The Satva, Rajas, and Tamas in Indian spirituality are nothing but the mystical names for the nuclei of an atom. -/- According to Bhagavata Purana, Prakriti is also constituted of the elements of Time, Karma (action/destiny) and Swabhava (innate nature). Time disturbs the equilibrium of Gunas. From the aspect of Karma is produced an entity called Mahat, in the form of intelligence. Mahat is dominated by Satva and Rajas. From Mahat manifests the next evolute dominated by Tamas with three predominant qualities – Dravya (substance), Kriya (action), as well as intelligence. It forms to become the Ego principle (Ahamkara). -/- Ahamkara has three modes – Satvic, Rajasic and Tamasic. Satvic is Jnana oriented, Rajasic action-oriented and Tamasic Dravya (substance) oriented. From the Tamasic Ahankara, five gross elements are produced (ether, air, fire, water, and earth - Akash, Vayu, Agni, Jal and Prithvi). From the Satvic Ahamkara, guardian deities (the sun and moon, deities of sense organs, and organs of action) and from Rajasic Ahamkara, ten senses (Indriyas), five senses of perception, five organs of action, the faculties of intellect and Prana (life breath) are produced. -/- Bhagavata says that since these energies, elements, and faculties remained disassociated, they were combined to form a Cosmic Egg. The egg floats in the primal waters for a thousand years. Then God enters this Cosmic Egg and manifests himself as the Cosmic Purusha. He is the first nucleus, the God particle equivalent to the number (1) which is the embodiment of everything in the universe. The concept of creation and dissolution in Hinduism can be compared to the waves in an ocean that appear and disappear incessantly. The Manvantaras are such successive episodes of creation emerging from the Cosmic Person, the Manu who is embodied God-Consciousness, God himself. These episodes of creation are measured in Hinduism in terms of Manvantaras, the epochs of Manus. -/- Manu is the ‘First-Born’ (1) of God, the Cosmic Purusha from whom the world has originated. This Cosmic Person (Purusha) has been described as having fourteen biospheres (heavens) that are inhabited by various life forms in the order of evolution of consciousness. If we begin from the human biosphere (Bhuloka), there are ten astral biospheres that a man must transcend to attain liberation or Mukti from the cycle of births and deaths. -/- The number (1) produces the primary numbers up to (9) through the transmutation of the creational energies and qualities. The process can be related to the descent and cyclical evolution of (1) through ten spiritual stages, finally merging with the nondual (0). The number (10) marks the merger of (1) with (0). The Hindu worldview is that all life forms in an episode of creation must evolve to become one with the non-dual state (0) to attain liberation from the cycle of births and deaths in a cyclical process. -/- . (shrink)

En este artículo abordo críticamente la aseveración de David Papineau según la cual la evidencia fisiológica acumulada es suficiente para adoptar razonablemente el Principio del Cierre Causal de lo Físico y la vía negativa, viz. entender físico como no mental, como solución al dilema de Hempel. Comenzaremos restando fuerza a tal afirmación revisando el trabajo de W. Penfield y J. Eccles, dos importantes neurocientíficos y declarados dualistas. No obstante, luego nos centraremos en el trabajo de B. Libet en el que (...) se demostraría que los movimientos voluntarios están realmente determinados por causas enteramente fisiológicas, lo cual constituiría una pieza fundamental de evidencia a favor de Papineau. Nuestro análisis mostrará que no se siguen tales conclusiones. Esto tendrá consecuencias negativas para el Cierre Causal de lo Físico y con ello para el Argumento Causal para el Fisicalismo del cual el mencionado principio es premisa clave. (shrink)

A lineage of prominent philosophers who have discussed the second-person relation can be regarded as advancing structural accounts. They posit that the second-person relation effects one transformative change to the structure of practical reasoning. In this paper, I criticise this orthodoxy and offer an alternative, substantive account. That is, I argue that entering into second-personal relations with others does indeed affect one's practical reasoning, but it does this not by altering the structure of one's agential thought, but by changing what (...) reasons can become available. The importance of second-personal thought for action is heterogenous. Second-person relations make possible the emergence of a wide variety of different kinds of practical reasons: creating some, revealing others. Recognising this diminishes the appeal of the traditional, structural accounts of the practical significance of such second-personal relations. Moving away from structural accounts facilitates a more thorough understanding of the intersubjective form of action. (shrink)

The paper presents the notion of “Spirit of Nature” in Henry More and describes its position within More’s philosophical system. Through a thorough analysis, it tries to show in what respects it can be considered a scientific object and in what respects it cannot. In the second part of this paper, More’s “Spirit of Nature” is compared to Newton’s various attempts at presenting a metaphysical cause of the force of gravity, using the similarities between the two to see this notorious (...) problem of Newton scholarship in a new light. One thus sees that if Newton drew from Stoic and Neo-Platonic theories of aether or soul of the world, we need to fully acknowledge the fact that these substances were traditionally of a non-dualistic, half-corporeal, half-spiritual nature. Both More’s “Spirit of Nature” and Newton’s aether can thus be understood as different attempts at incorporating such a pneumatic theory into the framework of modern physics, as it was then being formed. (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

Many philosophers agree that there is an epistemic norm governing action. However, they disagree on what this norm is. It has been observed that the word ‘know’ is prominent in ordinary epistemic evaluations of actions. Any opponent of the knowledge norm must provide an explanation of this fact. Gerken has recently proposed the most developed explanation. It invokes the hypothesis that, in normal contexts, knowledge-level warrant is frequently necessary and very frequently sufficient (Normal Coincidence), so that knowledge-based assessments would be (...) a good heuristic for practical reasoning and epistemic evaluations of action. In this paper, I raise three problems for this approach. First, I argue that Normal Coincidence is ad hoc: it relies on an unsupported frequency hypothesis that we should expect to be false given the warrant account that Gerken also endorses. Second, I argue that, in any case, Normal Coincidence is insufficient to support the hypothesis that knowledge-based evaluation of action constitutes a good heuristic. Third, I consider three other hypotheses close to Normal Coincidence apparently more likely to support the heuristic hypothesis, but I argue that they seem even more ad hoc than Normal Coincidence. (shrink)

Carl Schmitt's notion of nomos is commonly regarded as the international equivalent to the national sovereign's decision on the exception. But can concrete spatial order alone turn a constellation of forces into an international order? This article looks at Schmitt's work The Nomos of the Earth and proposes that it is the process of bracketing war called Hegung which takes the place of the sovereign in the international order Schmitt describes. Beginning from an analysis of nomos, the ordering function of (...) the presocratic concept moira is explored. It is argued that the process of Hegung, like moira, does not just achieve the containment of war, but constitutes the condition of possibility for plural order. (shrink)

On-line, just as off-line, there are ways of assessing the credibility of information sources. The Internet, although it arguably makes for nothing wholly new in this regard, complicates the ordinary task of assessing credibility. In the first section, I consider a specific example and argue that Internet content providers have no clear interest in resolving these comlications. In the second, I consider four general ways that we might assess credibility and explore how they apply to life online. Finally, I argue (...) that even careful information gathering may pose subtle pitfalls but that some of these may be mitigated on-line. (shrink)

Typical discussions of virtual reality (VR) fixate on technology for providing sensory stimulation of a certain kind. They thus fail to understand reality as the place wherein we live and work, misunderstanding it instead as merely a sort of presentation. The first half of the paper examines popular conceptions of VR. The most common conception is a shallow one according to which VR is a matter of simulating appearances. Yet there is, even in popular depictions, a second, more subtle conception (...) according to which VR is a matter of facilitating new kinds of interaction. The latter half of the paper turns to questions about the contemporary technology of Internet chatrooms. The fact that chatrooms can be used in certain ways suggests something about the prospects for VR. The penultimate section asks whether chatrooms may legitimately be thought of as places. (In a sense, they may.) The final section asks whether cybersex may legitimately be thought of as sex. (Again, yes.) Chatroom technology thus provides an argument for the second conception of VR over its much ballyhooed rival. (shrink)

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic property of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide valid the deductive inference. Conclusions of sound arguments are derived from truth preserving finite string transformations applied to true premises.

Aristotle said that induction (epagōgē) is a proceeding from particulars to a universal, and the definition has been conventional ever since. But there is an ambiguity here. Induction in the Scholastic and the (so-called) Humean tradition has presumed that Aristotle meant going from particular statements to universal statements. But the alternate view, namely that Aristotle meant going from particular things to universal ideas, prevailed all through antiquity and then again from the time of Francis Bacon until the mid-nineteenth century. Recent (...) scholarship is so steeped in the first-mentioned tradition that we have virtually forgotten the other. In this essay McCaskey seeks to recover that alternate tradition, a tradition whose leading theoreticians were William Whewell, Francis Bacon, Socrates, and in fact Aristotle himself. The examination is both historical and philosophical. The first part of the essay fills out the history. The latter part examines the most mature of the philosophies in the Socratic tradition, specifically Bacon’s and Whewell’s. After tracing out this tradition, McCaskey shows how this alternate view of induction is indeed employed in science, as exemplified by several instances taken from actual scientific practice. In this manner, McCaskey proposes to us that the Humean problem of induction is merely an artifact of a bad conception of induction and that a return to the Socratic conception might be warranted. (shrink)

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic value of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide the valid deductive inference. Sound deductive conclusions are the result of these finite string transformation rules.

The connection between whole and part is intimate: not only can we share the same space, but I’m incapable of leaving my parts behind; settle the nonmereological facts and you thereby settle what is a part of what; wholes don’t seem to be an additional ontological commitment over their parts. Composition as identity promises to explain this intimacy. But it threatens to make the connection too intimate, for surely the parts could have made a different whole and the whole have (...) had different parts. In this paper I attempt to offer an account of parthood that is intimate enough but not too intimate: the parts generate the whole, but they are not themselves the whole. (shrink)

This paper is about the similarity between the appreciation of a piece of art, such as a cherished music album, and the loving appreciation of a person whom one knows well. In philosophical discussion about the rationality of love, the Qualities View (QV) says that love can be justified by reference to the qualities of the beloved. I argue that the oft-rehearsed trading-up objection fails to undermine the QV. The problems typically identified by the objection arise from the idea that (...) love-worthy qualities could be coarse-grained, when in fact they must be fine-grained. The analogy with appreciation of aesthetic qualities helps to draw out this point. Once the fine-grained nature of love-worthy qualities is properly understood, it is clear that critics of the QV cannot rely on the trading-up objection to motivate its rejection. Moreover, the paper’s core argument helps to illuminate the persistently aesthetic nature of interpersonal affections. (shrink)

It is widely agreed that possession of consciousness contributes to an entity’s moral status, even if it is not necessary for moral status (Levy and Savulescu 2009). An entity is considered to have...

Within a liberal, ‘law of things’ understanding of property, the donative trust is seen as a species of gift. Control over trust property passes from the hands of settlors to beneficiaries, from owners to owners. Trust property, like all other property, is silent and passive, its fate determined by its owners. This article questions this understanding of the trust by showing how beneath the facade of ownership, the trust inverts the relation between owner and owned, person and thing. It analyses (...) the relation that trustees, beneficiaries and settlors have to the trust property and argues that the role of each of these parties can be shown to consist in furthering the interests of the trust property rather than their own. It claims that this protects things from their owners at the same time as it ensures these owners’ ongoing care towards the things they own. This raises questions about the trust’s status within the institution of private property, justified as it is by the human autonomy it is said to enable. (shrink)

A pair of C functions are defined such that D has the halting problem proof's pathological relationship to simulating termination analyzer H. When H correctly determines that D correctly simulated by H must be aborted to prevent its own infinite execution then H is necessarily correct to reject D as specifying non-halting behavior. This exact same reasoning is applied to the Peter Linz Turing machine based halting problem proof. ...

What does it mean to act politically? This paper contributes an answer to this question by looking at the role that necessity plays in the political theory of Carl Schmitt. It argues that necessity, whether in the form of existential danger or absolute values, does not affect the sovereign decision, which must be free from normative determinations if it is to be a decision in Schmitt’s sense at all. The paper then provides a reading of Schmitt in line with Weber’s (...) ethics of responsibility, according to which the political actor decides not arbitrarily and irresponsibly, but actively assumes responsibility for the decisions he takes. (shrink)

A simulating halt decider correctly predicts what the behavior of its input would be if this simulated input never had its simulation aborted. It does this by correctly recognizing several non-halting behavior patterns in a finite number of steps of correct simulation. -/- When simulating halt decider H correctly predicts that directly executed D(D) would remain stuck in recursive simulation (run forever) unless H aborts its simulation of D this directly applies to the halting theorem.

During the Second World War, more than 60,000 Jewish members of the American, British and French armed forces became prisoners of war in Germany. Against all expectations, these prisoners were treated in accordance with the 1929 Geneva Convention, and the majority made it home alive. This article seeks to explain this most astonishing circumstance. It begins by collating the references to the experiences of Western Jewish POWs from the historical literature to provide a hitherto-unseen overview of their treatment in captivity. (...) It then asks what made their protection from persecution possible. To this end, it explores Germany’s wider motivations for its selective application of the Geneva Convention and highlights the role that military identity played in making its application seem necessary for all POWs from the Western front, including Jewish POWs. (shrink)

We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology that (...) provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

This article takes as its subject matter the juridico-political space of the prisoner of war (POW) camp. It sets out to determine the nature of this space by looking at the experience of war captivity by Jewish members of the Western forces in World War II, focusing on the experience of Emmanuel Levinas, who spent 5 years in German war captivity. On the basis of a historical analysis of the conditions in which Levinas spent his time in captivity, it argues (...) that the POW camp was a space of indifference that was determined by the legal exclusion of prisoners from both war and persecution. Held behind the stage of world events, prisoners were neither able to exercise their legal agency nor released from law into a realm of extra-legal violence. Through a close reading of Levinas’s early concept of the ‘there is’ [il y a], the article seeks to establish the impact on prisoners of prolonged confinement in such a space. It sets out how prisoners’ subjectivity dissolved in the absence of meaningful relations with others and identifies the POW camp as a space in which existence was reduced to indeterminate, impersonal being. (shrink)

How does microbiota research impact our understanding of biological individuality? We summarize the interdisciplinary summer school on "Microbiota, Symbiosis and Individuality: Conceptual and Philosophical Issues" (July 2019), which was supported by a European Research Council starting grant project "Immunity, DEvelopment, and the Microbiota" (IDEM). The summer school centered around interdisciplinary group work on four facets of microbiota research: holobionts, individuality, causation, and human health. The conceptual discussion of cutting-edge empirical research provided new insights into microbiota and highlights the value of (...) incorporating into meetings experts from other disciplines, such as philosophy and history of science. (shrink)

Consider the concept combination ‘pet human’. In word association experiments, human subjects produce the associate ‘slave’ in relation to this combination. The striking aspect of this associate is that it is not produced as an associate of ‘pet’, or ‘human’ in isolation. In other words, the associate ‘slave’ seems to be emergent. Such emergent associations sometimes have a creative character and cognitive science is largely silent about how we produce them. Departing from a dimensional model of human conceptual space, this (...) article will explore concept combinations, and will argue that emergent associations are a result of abductive reasoning within conceptual space, that is, below the symbolic level of cognition. A tensor-based approach is used to model concept combinations allowing such combinations to be formalized as interacting quantum systems. Free association norm data is used to motivate the underlying basis of the conceptual space. It is shown by analogy how some concept combinations may behave like quantum-entangled particles. Two methods of analysis were presented for empirically validating the presence of non-separable concept combinations in human cognition. One method is based on quantum theory and another based on comparing a joint probability distribution with another distribution based on a separability assumption using a chi-square goodness-of-fit test. Although these methods were inconclusive in relation to an empirical study of bi-ambiguous concept combinations, avenues for further refinement of these methods are identified. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)